NEWS markup - commands.texi already updated for this change
authorGlenn Morris <rgm@gnu.org>
Thu, 9 Feb 2012 07:15:54 +0000 (23:15 -0800)
committerGlenn Morris <rgm@gnu.org>
Thu, 9 Feb 2012 07:15:54 +0000 (23:15 -0800)
commita56eb3bb26227fc2fc6b51e6b35030aa2db9110d
tree62d15db387eeb41648c7494d82f9a6f90844a401
parent26e41c8e54683768bbb6d43eb6d15c6a7db2f2a0
NEWS markup - commands.texi already updated for this change
etc/NEWS